2

The character of quotation

Year:
2010
Language:
english
File:
PDF, 2.03 MB
english, 2010
3

Explaining Crossover and Superiority as Left-to-Right Evaluation

Year:
2006
Language:
english
File:
PDF, 4.50 MB
english, 2006
4

Explaining Crossover and Superiority as Left-to-right Evaluation

Year:
2006
Language:
english
File:
PDF, 425 KB
english, 2006
6

Combinators for impure yet hygienic code generation

Year:
2015
Language:
english
File:
PDF, 688 KB
english, 2015
8

A static simulation of dynamic delimited control

Year:
2007
Language:
english
File:
PDF, 665 KB
english, 2007
9

The character of quotation

Year:
2010
Language:
english
File:
PDF, 430 KB
english, 2010
10

Lightweight Static Capabilities

Year:
2007
Language:
english
File:
PDF, 400 KB
english, 2007
12

A Modal Interpretation of the Logic of Interrogation

Year:
2006
Language:
english
File:
PDF, 246 KB
english, 2006
14

A Modal Interpretation of the Logic of Interrogation

Year:
2006
Language:
english
File:
PDF, 2.28 MB
english, 2006
15

Types as Graphs: Continuations in Type Logical Grammar

Year:
2006
Language:
english
File:
PDF, 1014 KB
english, 2006
21

On the dynamic extent of delimited continuations

Year:
2005
Language:
english
File:
PDF, 102 KB
english, 2005
23

On the static and dynamic extents of delimited continuations

Year:
2006
Language:
english
File:
PDF, 369 KB
english, 2006
25

Lightweight monadic regions

Year:
2009
Language:
english
File:
PDF, 211 KB
english, 2009
26

Types as Graphs: Continuations in Type Logical Grammar

Year:
2006
Language:
english
File:
PDF, 3.87 MB
english, 2006
30

Shifting the stage

Year:
2011
Language:
english
File:
PDF, 1.00 MB
english, 2011
31

Backtracking, interleaving, and terminating monad transformers

Year:
2005
Language:
english
File:
PDF, 150 KB
english, 2005
32

Functional un|unparsing

Year:
2011
Language:
english
File:
PDF, 899 KB
english, 2011
35

[Lecture Notes in Computer Science] Programming Languages and Systems Volume 8301 ||

Year:
2013
Language:
english
File:
PDF, 4.68 MB
english, 2013
37

Purely functional lazy nondeterministic programming

Year:
2011
Language:
english
File:
PDF, 415 KB
english, 2011
38

Purely functional lazy non-deterministic programming

Year:
2009
Language:
english
File:
PDF, 422 KB
english, 2009